101. EUROCAL'87: European Conference on Computer Algebra : Leipzig, GDR, June 2-5, 1987: Proceedings
پدیدآورنده: J.H. Davenport, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
378
102. EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings
پدیدآورنده : J.H. Davenport )ed.(
موضوع : Data processing -- Congresses ، Algebra
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
103. EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings
پدیدآورنده : European Conference on Computer Algebra)7891 :Leipzig, Germany(, J.H. Davenport )ed.(
موضوع : ، Algebra- Data processing- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
104. EUROCAL'85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : Proceedings
پدیدآورنده:
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
203-204
105. EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
پدیدآورنده : Title
موضوع : Algebra - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
106. EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
107. EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
پدیدآورنده: edited by John Fitch
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
v
.
174
108. EUROSAM 84: International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Data processing Congresses ، Algebra
رده :
QA
155
.
7
.
E4
.
I57
1984
109. EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
پدیدآورنده: edited by John Fitch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
174
110. Exploring the early digital /
پدیدآورنده: Thomas Haigh, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
111. Formal techniques for networked and distributed systems
پدیدآورنده: / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
112. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده: edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
113. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده: / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
114. Groups and computation
پدیدآورنده: Larry Finkelstein, William M. Kantor, editors,Series
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Group theory -- Data processing -- Congresses,Algebra -- Data processing -- Congresses
رده :
QA
.
D36
,
G76
174
.
7
1993
115. Groups and computation: Workshop on Groups and computation october 7-10, 1991
پدیدآورنده: Larry Finkelstein, William M. Kantor, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Group theory - Data processing - Congresses,، Algebra - Data processing congresses
رده :
QA
174
.
7
.
D36
G7
116. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده: Larry Finkelstein, William M. Kantor, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Group theory,Data processing --Congresses ، Algebra
رده :
QA
174
.
7
.
D36D55
1991
117. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده: Larry Finkelstein, William M. Kantor, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: Data processing -- Congresses ، Group theory,Data processing -- Congresses ، Algebra
رده :
QA
174
.
7
.
D36
G76
1993
118. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده: Larry Finkelstein, William M. Kantor, editors
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Group theory - Data processing - Congresses , Algebra - Data processing - Congresses
رده :
QA
174
.
7
.
D36
G76
1991
119. Information technology and applied mathematics :
پدیدآورنده: Peeyush Chandra [and others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Cryptography.,Computer science-- Mathematics.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Cryptography.
رده :
QA76
.
9
.
M35
120. Intelligent computer mathematics :
پدیدآورنده: Cezary Kaliszyk [and 3 others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence-- Mathematics, Congresses.,Computer science-- Mathematics, Congresses.,Artificial intelligence-- Mathematics.,Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
C53
2019
